-
1 classical completeness
Большой англо-русский и русско-английский словарь > classical completeness
-
2 classical completeness
Математика: классическая полнотаУниверсальный англо-русский словарь > classical completeness
-
3 classical completeness
мат.English-Russian scientific dictionary > classical completeness
-
4 completeness
-
5 классическая полнота
Большой англо-русский и русско-английский словарь > классическая полнота
-
6 complete
1. adjective1) vollständig; (in number) vollzählig; komplett2) (finished) fertig; abgeschlossen [Arbeit]3) (absolute) völlig; total, komplett [Idiot, Reinfall, Ignoranz]; absolut [Chaos, Katastrophe]; vollkommen [Ruhe]; total, (ugs.) blutig [Anfänger, Amateur]2. transitive verb1) (finish) beenden; fertig stellen [Gebäude, Arbeit]; abschließen [Vertrag]2) (make whole) vervollkommnen, vollkommen machen [Glück]; vervollständigen [Sammlung]3) (make whole amount of) vollzählig machen4) ausfüllen [Fragebogen, Formular]* * *[kəm'pli:t] 1. adjective3) (finished: My picture will soon be complete.) fertig2. verb(to finish; to make complete: When will he complete the job?; This stamp completes my collection.) vervollständigen- academic.ru/85581/completely">completely- completeness
- completion* * *com·plete[kəmˈpli:t]I. vt▪ to \complete sth1. (add what is missing) collection, set etw vervollständigen; form, questionnaire etw [vollständig] ausfüllenall she needed to \complete her happiness was a baby alles, was ihr zu ihrem Glück noch fehlte, war ein Baby2. (finish) etw fertigstellen [o zu Ende bringen]to \complete a conveyance LAW eine Eigentumsübertragung abschließento \complete a course einen Kurs absolvierento \complete one's studies sein Studium zu Ende bringenII. adj1. (with nothing missing) vollständig, kompletta \complete set ein vollständiges Setthe \complete works of Shakespeare Shakespeares gesammelte Werkesun, sand and romance — their holiday was \complete Sonne, Sand, Romantik — ihr Urlaub war vollkommen3. (including)\complete with inklusive\complete with batteries inklusive Batterienthe man's a \complete fool! der Mann ist ein Vollidiot! famit was a \complete surprise es war eine völlige Überraschung\complete blank völlige Leere\complete breakdown totaler Zusammenbruch\complete coverage (in insurance) volle Deckung [o Risikoübernahme]in \complete darkness in völliger Dunkelheitthe \complete gentleman der perfekte Gentleman\complete mastery vollkommene Beherrschung\complete paralysis vollständige Lähmung\complete protein vollwertiges Eiweiß\complete silence absolute Stillea \complete stranger ein völlig Fremder/eine völlig Fremde\complete and utter total fam* * *[kəm'pliːt]1. adj1) (= entire, whole) ganz attr; set also, wardrobe, deck of cards vollständig, komplett; (= having the required numbers) vollzählig; edition Gesamt-my happiness/disappointment was complete —
the complete works of Shakespeare — die gesammelten Werke Shakespeares
no classical collection is complete without Beethoven's ninth symphony —
a very complete account — ein sehr umfassender or detaillierter Bericht
2) attr (= total, absolute) völlig; failure, beginner, disaster, flop also, victory total; surprise, shambles also komplett; satisfaction also, approval vollwe were complete strangers —
3) (= finished) fertighis novel is not yet complete —
my life's work is now complete — mein Lebenswerk ist nun vollbracht
4)he came complete with rucksack and boots — er erschien komplett ausgerüstet mit Rucksack und Stiefeln
5) sportsman, gardener etc perfekt2. vt1) (= make whole) collection, set vervollständigen, komplettieren; team vollzählig machen; education, meal abrundenand to complete their misery... — und zu allem Unglück...
3) (= finish) beenden, abschließen, zum Abschluss or zu Ende bringen; building, work fertigstellen; prison sentence verbüßenit's not completed yet — es ist noch nicht fertig
4) form, questionnaire ausfüllen* * *complete [kəmˈpliːt]A adj (adv completely)1. komplett, vollständig, vollkommen, völlig, ganz, total:complete beginner blutiger Anfänger;complete combustion vollständige Verbrennung;complete defeat vollständige Niederlage;complete edition Gesamtausgabe f;complete outfit komplette Ausstattung;he is a complete stranger to me er ist mir völlig unbekannt;it was a complete surprise to me es war oder kam für mich völlig überraschend;complete with (mit)samt, komplett mit;completely unthinkable völlig undenkbar2. vollzählig, komplett3. beendet, vollendet, fertig4. vollkommen, perfekt (Gastgeberin etc)B v/t1. vervollständigen, ergänzen2. vollenden, abschließen, beendigen, fertigstellen:complete a contract einen Vertrag erfüllen;complete one’s sentence JUR seine Strafe verbüßen;complete one’s studies sein Studium absolvieren3. fig vollenden, vervollkommnen:that completed his happiness das machte sein Glück vollkommen4. ein Formular ausfüllen5. eine Telefonverbindung herstellencomp. abk1. comparative2. compare3. comparison4. compilation5. compiled6. complete7. composer* * *1. adjective1) vollständig; (in number) vollzählig; komplett2) (finished) fertig; abgeschlossen [Arbeit]3) (absolute) völlig; total, komplett [Idiot, Reinfall, Ignoranz]; absolut [Chaos, Katastrophe]; vollkommen [Ruhe]; total, (ugs.) blutig [Anfänger, Amateur]2. transitive verb1) (finish) beenden; fertig stellen [Gebäude, Arbeit]; abschließen [Vertrag]2) (make whole) vervollkommnen, vollkommen machen [Glück]; vervollständigen [Sammlung]3) (make whole amount of) vollzählig machen4) ausfüllen [Fragebogen, Formular]* * *adj.komplett adj.lückenlos adj.vollständig (Mathematik) adj.vollständig adj.völlig adj. v.ergänzen v.fertigstellen v.komplettieren v.vervollständigen v.vollenden v. -
7 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
См. также в других словарях:
Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… … Wikipedia
Classical Latin — Latinitas Latin inscription in the Colosseum … Wikipedia
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Classical Wiener space — In mathematics, classical Wiener space is the collection of all continuous functions on a given domain (usually a sub interval of the real line), taking values in a metric space (usually n dimensional Euclidean space). Classical Wiener space is… … Wikipedia
Classical Realism — For Classical Realism in International Relations, see Realism (international relations) Cast Studio. Academy of Classical Design, Southern Pines, NC. Classical Realism refers to an artistic movement in late 20th century painting that places a… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia
Laws of classical logic — The laws of classical logic are a small collection of fundamental sentences of propositional logic and Boolean algebra, from which may be derived all true sentences in both of these elementary formal systems.The syntax of the laws of classical… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia